//----------
//温度编码检测器
//in-温度编码，4位二进制数
//out-in=0,1,3,7,15时为真，其余为假
//----------
module therm_casex(in,out);
  input [3:0] in;
  output out;
  reg out;
  always @(*) begin
      casex(in)
	  4'b000x:out=1;
	  4'b0011:out=1;
	  4'bx111:out=1;
	  default:out=0;
      endcase
  end
endmodule

